Automata theory - PDFSEARCH.IO - Document Search Engine

Automata theory
Results: 1263

#	Item
121	Learning probabilistic finite automata Colin de la Higuera University of Nantes Nantes, November 2013 Add to Reading List Source URL: pagesperso.lina.univ-nantes.fr Language: English - Date: 2013-11-27 05:21:00 Nondeterministic finite automaton France Automata theory Probabilistic automaton University of Nantes
122	JMLR: Workshop and Conference Proceedings 34:109–123, 2014 Proceedings of the 12th ICGI Learning Nondeterministic Mealy Machines Ali Khalili Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Symbol Mealy machine Finite-state machine Regular language Computing Mathematics Finite state transducer Automata theory Models of computation Nondeterministic finite automaton
123	Synthesis of Asynchronous Systems Sven Schewe and Bernd Finkbeiner Universit¨ at des Saarlandes, 66123 Saarbr¨ ucken, Germany {schewe\|finkbeiner}@cs.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-22 13:39:05 Applied mathematics Ω-automaton Finite-state machine Scheduling Tree automaton Alternating finite automaton Powerset construction Automata theory Theoretical computer science Computer science
124	Satisability and Finite Model Property for the Alternating-Time -Cal ulus? Sven S hewe and Bernd Finkbeiner Universitat des Saarlandes, 66123 Saarbru ken, Germany fs hewejfinkbeinerg s.uni-sb.de Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2009-04-30 04:31:43 Æ Ω-automaton Linguistics Notation Automata theory Centimetre–gram–second system of units Metrology
125	Ramsey Goes Visibly Pushdown Oliver Friedmann1 , Felix Klaedtke2 , and Martin Lange3 1 LMU Munich, 2 ETH Zurich, and 3 University of Kassel Add to Reading List Source URL: files.oliverfriedmann.de Language: English - Date: 2013-02-13 07:24:13 Nested word Deterministic pushdown automaton Pushdown automaton Connection Complementation of Büchi automaton Automata theory Theoretical computer science Computer science
126	Saarland University Faculty of Natural Sciences and Technology I Department of Computer Science Bachelor’s Thesis Add to Reading List Source URL: cgi.csc.liv.ac.uk Language: English - Date: 2008-09-23 06:26:51 Büchi automaton Automata theory Models of computation Deterministic finite automaton
127	Synthesis for Unbounded Bit-vector Arithmetic Andrej Spielmann and Viktor Kuncak School of Computer and Communication Sciences (I&C) ´ Ecole Polytechnique F´ed´erale de Lausanne (EPFL), Switzerland Add to Reading List Source URL: lara.epfl.ch Language: English - Date: 2012-04-24 05:03:43 Digital electronics Logic Models of computation Elementary mathematics Logical syntax Finite state transducer Flip-flop Function FO Mathematics Theoretical computer science Automata theory
128	Notes on Counting with Finite Machines Dmitry Chistikov Max Planck Institute for Software Systems (MPI-SWS) Kaiserslautern and Saarbrücken, Germany Add to Reading List Source URL: drops.dagstuhl.de Language: English - Date: 2014-12-11 10:15:34 Theoretical computer science Computer science Nested word Pushdown automaton Deterministic pushdown automaton Turing machine Nondeterministic finite automaton SC Deterministic finite automaton Automata theory Theory of computation Models of computation
129	JMLR: Workshop and Conference Proceedings 34:79–93, 2014 Proceedings of the 12th ICGI An Abstract Framework for Counterexample Analysis in Active Automata Learning Add to Reading List Source URL: jmlr.org Language: English - Date: 2014-08-26 06:56:50 Computer science Software engineering Deterministic finite automaton Nondeterministic finite automaton Symbol Counterexample Regular expression Automata theory Models of computation Theoretical computer science
130	analyzing Reinforcement Learning algorithms using Evolutionary Game Theory Daan Bloembergen ANALYZING REINFORCEMENT LEARNING ALGORITHMS USING EVOLUTIONARY Add to Reading List Source URL: michaelkaisers.com Language: English - Date: 2012-04-29 08:03:59 Cybernetics Reinforcement learning Q-learning Learning automata Agent-based model Evolutionary game theory Multi-agent system Reinforcement Game theory Science Machine learning Artificial intelligence

UPDATE